function display_notation(callerID){
  var notation = document.getElementById("notation");
  document.getElementById(callerID).appendChild(notation);
  notation.style.display = "block";
}

function hide_notation(callerID){
  var notation = document.getElementById("notation");
  document.getElementById(callerID).appendChild(notation);
  notation.style.display = "none";
}
